Logic and Agent Programming Languages
نویسنده
چکیده
Agent programming languages based on the Belief, Desire and Intentions (BDI) framework present some interesting challenges for logicians. While BDI logics have been studied extensively, problems related to belief update and analysis of plans in BDI agent programming languages have received less attention.
منابع مشابه
Communicating Rational Agents: Semantics and Verification
We present a computational semantics of communicative actions for rational agent programming languages. Three indicators are used to differentiate declarative, interrogative and imperative messages which replace the usual labels to identify socalled speech acts. We introduce a multi-agent verification logic based on the computational semantics that facilitates reasoning about communicative acti...
متن کاملAn Agent Program Logic with Declarative Goals
It has been argued that declarative goals provide for a natural conceptual tool for designing as well as programming agents. This has given rise to various proposals for integrating declarative goals into programming languages. It is not always clear, however, how to estahblish a precise relation to logical agent theories to reason about such agents. In this paper, we propose an agent programmi...
متن کاملPlaying with Rules
In this paper we revisit Logic Programming under the answer-set semantics or Answer-Set Programming and its extension Evolving Logic Programming, two languages that use logic rules and rule updates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented Programming Languages. We illustrate the power of these rule based lang...
متن کاملAgent-Oriented Programming in Linear Logic
This thesis investigates how a linear logic programming language, such as Lygon, can be used in the implementation of agent-oriented programs. Agent-oriented programming is a recent computational framework of interest to both academic and industrial researchers. Agent methodology is being successfully utilised in designing complex (distributed) applications that require concurrency, reasoning, ...
متن کاملLogic Modules for Communicating Distributed Agents
The development of isolated agents involves the manipulation of components such as actions, mental attitudes and decisions. Multi-agent systems have to deal with these components from diierent agents, without to forget the privacy and autonomy of each agent. For programming simple agents, both object-oriented and logic paradigms have shown advantages in terms of behavior encapsulation and menta...
متن کاملPreferences of Agents in Defeasible Logic
We are interested in programming languages for cognitive agents with preferences. We define rule-based agent theories and inference procedures in defeasible logic, and in this setting we discuss patterns of agent behavior called agent types.
متن کامل